"İSE" Bağlacı

$⟹\text{ veya }\to \text{ s¸eklinde go¨sterilir.}$

$p⟹q\equiv \text{ p ise q s¸eklinde okunur.}$

$p⟹q\text{ ifadesindeki p hipotez, q ise sonuc¸tur.}$

1: $p⟹q\not\equiv q⟹p$

2: $p⟹q\equiv \neg p\vee q$

• İSE’nin olumsuzu soruluyorsa onu veya’ya çevirmek zorundayız.
• Sadeleştirme sorularında da çevirmek zorundayız.

3: $p⟹p\equiv 1$

4: $p⟹\neg p\equiv \neg p$

5: $p⟹1\equiv 1$

6: $p⟹0\equiv \neg p$